本課程的目的在介紹Zermelo-Fraenkel 公理化集合論的系統以及它的公理，使學生對於數理邏輯或數學哲學文獻所需要的邏輯與集合論背景知識有基本程度的掌握。一般公認集合論為數學提供了一個基礎，在本課程中與此相關的哲學議題也會稍微提及。本課程將詳細研讀Enderton的教科書《The elements of Set Theory》。

This course aims to introduce students to the Zermelo-Fraenkel Set Theory with its basic axioms and motivating conceptions. It will provide students with a sufficient background for pursuing further studies in mathematical logic and the philosophy of mathematics. It is widely acknowledged that set theory provides a basis for pure mathematics, and related to this the philosophical question about the foundation of mathematics will be discussed. The course will go through Enderton’s textbook Elements of Set Theory.